modus ponens argument

肯定前件论证、正引论证